A Simple Model for Active Rules and their Behavior in Deductive Databases
نویسندگان
چکیده
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifies the semantics of active and deductive databases and yields several benefits. In particular it can be used to model the semantics of different active databases and to perform termination analysis for active rules.
منابع مشابه
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a practical technology, deductive rules have to be extended to provide a dynamic behavior. In particular, current applications require not only a support for updates and transactions but also the ability to automaticall...
متن کامل1 Active Behaviour in Deductive Databases 30 March 1996
This paper reports work in progress on active and deductive databases. Active rules are used for a variety of purposes, prominent amongst which are integrity enforcement, view maintenance and actions output to the environment. In this paper we argue that a package of deductive databases, temporal reasoning, integrity enforcement and abduction captures and possibly extends the first two main use...
متن کاملOn Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal approaches to active rules. Subsequently, we present our own state-oriented logical approach to active rules which combines the declarative semantics of deductive rules with the possibility to de ne updates in the style of...
متن کاملUpdate Control in Deductive Object Bases1
Deductive object bases are a combination of both deductive and objectoriented databases. This dissertation investigates the problem of update control for such databases. The data model is defined as an extreme case of a deductive database with only one extensional predicate and a multitude of axioms defining the object-oriented abstraction concepts. The advantages are twofold: a distinct concep...
متن کاملReconciling Active and Deductive Databases by States Institut F Ur Informatik | Report 70
We propose a state-oriented extension to Datalog called Statelog which comprises two kinds of rules, passive query rules and active transition rules within a simple, yet exible logical framework. Statelog programs have deterministic model-theoretic semantics for queries and updates thus reconciling active and deductive databases. Using the Statelog framework we prove that termination of active ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994